<?php 
if(!isset($_SESSION['is_logged_in'])) // Si la variable de sesion "is_logged_in" está definida hacemos un form que cargue el archivo rafa.php en caso de apretar un boton, con un par de textbox para coger valores
// If the session variable "is_logged_in" is defined, a form calls the rafa.php if we push the button "Log-in"
{
	echo "<form action='loginverification.php' method='post'> 
	User <input type='text' name='user' /> 
	Password <input type='password' name='pass' />	
	<input type='submit' value='Log-in' /> 
	</form>";
}
else if (isset($_SESSION['is_logged_in'])) // Si la variable de sesion "is_logged_in" no está definida, aparece un form que al clicar en un botón nos llevará a logout.php
// If the session variable "is_logged_in" is not defined, a button in a form appears. If we push that button, it calls the logout.php file.
{
	echo "<form action='logout.php' method='POST'>
	<input type='submit' value='Log-out' /> 
	</form>";
}
?>